Date: Tue, 14 Jan 1997 20:00:35 GMT
Server: NCSA/1.5
Content-type: text/html

<TITLE>CS-835(B1): Real-Time Systems Seminar</TITLE> 
<H2>
<!WA0><A href = "http://web.bu.edu/"> Boston University</A> / 
<!WA1><A href = "gopher://gopher.bu.edu:70/11/Resources%20At%20Your%20Fingertips/School%20and%20College%20Bulletins/Undergraduate%20Programs/College%20of%20Liberal%20Arts">CLA</A><BR>
<!WA2><A href = "http://cs-www.bu.edu/Home.html"> Computer Science Dept</A>
</H2><H3>
GRS/CS-835(B1): Real-Time Systems Seminar
</H3><HR>
<P> 

<H2>Reading List</H2>
The following are some of the assigned readings for this class. This
list will grow as the class progresses to reflect the interests of the
participants. 
<P>
<HR>
<UL>
<P><LI><B>Introductory Papers</B>:
<UL>
<LI> J. Stankovic, M. Spuri, M. Di Natale, and G. Buttazzo,
<!WA3><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/impl_sch_rts.ps">
Implications of Classical Scheduling Results For Real-Time Systems</a>,
<em>IEEE Computer</em>, Vol. 28, No. 6, pp. 16-25, June 1995.
<LI> J. Stankovic,
<!WA4><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/rt_computing.ps">
Real-Time Computing</a>, <em>BYTE</em>, invited paper,
pp. 155-160, August 1992.
<LI> J. Stankovic,
<!WA5><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/next_generation.ps">
Distributed Real-Time Computing: The Next Generation</a>,
invited keynote paper, special issue of <em>Journal of the Society of Instrument
and Control Engineers of Japan</em>, Vol. 31, No. 7, pp. 726-736,
1992.
</UL>

<P><LI><B>Scheduling</B>:
<UL>
<LI>
  J.&nbsp;W.&nbsp;S. Liu, and C.&nbsp;L. Liu.
<!WA6><A HREF="http://pertsserver.cs.uiuc.edu/papers/ShLL94.ps">Modified rate-monotonic algorithm for scheduling periodic jobs with deferred
  deadlines.</A>
<EM>IEEE Transactions on Software Engineering</EM>, 19(12):1171-1179, January
  1993.
<LI> K. Ramamritham and J. Stankovic,
<!WA7><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/sch_os_support_rts.ps">
Scheduling Algorithms and Operating Systems Support for Real-Time Systems</a>,
<em>Proceedings of the IEEE</em>, Vol. 82, No. 1, pp. 55-67, January 1994.
<LI>
  Liu, and Mallikarjun Shankar.
<!WA8><A HREF="http://pertsserver.cs.uiuc.edu/papers/TiLS94b.ps">Algorithms and optimality of scheduling soft aperiodic requests in
  fixed-priority preemptive systems.</A>
To appear in <EM>Journal of Real-Time Systems</EM>.

<LI>
Jun Sun, Jane W. S. Liu, and Riccardo Bettati.
<!WA9><A HREF="http://pertsserver.cs.uiuc.edu/papers/SuLB94.ps">
An end-to-end approach to scheduling periodic tasks with shared resources in
  multiprocessor systems.</A>
Submitted to <EM>Journal of Real-Time Systems</EM>.

<LI>Wei-Kuan Shih and Jane W.S.Liu.
<!WA10><A HREF="http://pertsserver.cs.uiuc.edu/papers/ShLi95.ps">Algorithms for scheduling imprecise computations with timing constraints to
  minimize maximum error.</A>
<EM>IEEE Transactions on Computers</EM>, 44(3):466-471, March 1995.

<LI>
  Don Gillies  and Jane W.-S. Liu. 
<!WA11><A HREF="http://pertsserver.cs.uiuc.edu/papers/GiLi95.ps">
Scheduling tasks with and/or precedence constraints.</A>
<EM>SIAM Journal on Computing</EM>, 24(4):797-810, August 1995.

<LI> <!WA12><a href="ftp://ftp.cs.umd.edu/pub/realtime/tse95.ps.gz">
        Guaranteeing Real-Time Requirements with Resource-Based
	Calibration of Periodic Processes.</a>
        IEEE Transactions on Software Engineering 21(7), July 1995. 
	R. Gerber, S. Hong and M. Saksena.

<LI>Azer Bestavros and Dimitrios Spartiotis, 
     <!WA13><A href = "http://cs-pub.bu.edu/faculty/best/res/papers/rtaw93.ps"> 
     "Probabilistic Job Scheduling for Distributed Real-time
     Applications"</A> in  <EM> Proceedings of the First IEEE Workshop
     on Real-Time Applications, NY, NY.</EM> IEEE Computer Society
     Press, May, 1993.
</UL>

<P><LI><B>Formal Methods</B>:
<UL>
<li>Rajeev Alur and Thomas A. Henzinger.
<!WA14><a
href="ftp://ftp.cs.cornell.edu/pub/tah/Papers/logics_and_models_of_real_time.ps">
Logics and models of real time: a survey.</A>
In 
<i>Real Time: Theory in Practice</i>,
Lecture Notes in Computer Science 600,
Springer-Verlag, 1992, pp. 74-106.
<LI><!WA15><a href="http://www.cs.utexas.edu/users/cpg/RTS/papers/formaltr.ps.Z">
    Formal Specification of Real-Time Systems</a>,
    by Farnam Jahanian, Aloysius K. Mok and Douglas A. Stuart,
    UTCS Technical Report UTCS-TR-88-25
<LI><!WA16><a href="http://cs-pub.bu.edu/faculty/best/crs/cs835/S96/rtss94.ps.Z">
Response-Time Bounds
of Rule-Based Programs under Rule Priority Structure</a>, by
R. H. Wang and A.K. Mok, RTSS94 
<LI><!WA17><a href="ftp://ftp.cs.umd.edu/pub/realtime/proc_ieee.ps.gz">
	A Process Algebraic Approach to the Specification 
	and Analysis of Resource-Bound Real-Time Systems.</a>
	In Proceedings of the IEEE, January 1994.
	I. Lee, P. Bremond-Gregoire and R. Gerber.
<LI><!WA18><a href="ftp://ftp.cs.umd.edu/pub/realtime/tse92.ps.gz">
            A Layered Approach to Automating the Verification 
                        of Real-Time Systems.</a>
	IEEE Transactions on Software Engineering 18(9), 
	September 1992. 
	R. Gerber and I. Lee.
<LI><!WA19><a HREF="file://ftp.cis.upenn.edu/pub/rtg/schedRtss95.ps.Z">The Specification and Schedulability Analysis of Real-Time Systems using ACSR</A>,
J.-Y. Choi, I. Lee and H.-L. Xie,
<I>Proceedings of the 16th IEEE Real-Time Systems Symposium</I>, 1995.

<LI>Azer Bestavros, 
     <!WA20><A href = "http://cs-pub.bu.edu/faculty/best/res/papers/rtss91.ps"> 
     "Specification and Verification of Real-Time Embedded Systems
     using Time-constrained Reactive Automata"</A> in <EM> 
     Proceedings of RTSS'91, the 12th IEEE
     Real-Time Systems Symposium, San Antonio, Texas.</EM> IEEE Computer
     Society Press, December, 1991.
</UL>

<P><LI><B>Operating Systems</B>:
<UL>
<LI> <!WA21><a href="http://cs-pub.bu.edu/faculty/best/crs/cs835/S96/maruti-2.ps.gz">
	Design and Implementation of Maruti-II.</a>
	In <em> Principles of Real-Time Systems,</em> Sang Son (ed.), 
	1994. Also available as UMD CS-TR-3181, UMICAS TR-93-122.
	M. Saksena, J. da Silva and A. K. Agrawala.
<LI> Hideyuki Tokuda, Tatsuo Nakajima and Prithvi Rao
 <!WA22><a
href="http://www.cs.cmu.edu/afs/cs/project/rtmach/public/papers/rtmach90.ps">
Real-Time Mach: Towards a Predictable Real-Time System</A>
Proceedings of USENIX Mach Workshop, October 1990. 

<LI> Clifford W. Mercer, Stefan Savage, and Hideyuki Tokuda
<!WA23><a href="http://www.cs.cmu.edu/afs/cs/project/rtmach/public/papers/mcs94.ps">"Processor Capacity Reserves: Operating System Support for
Multimedia Applications"</A>. In Proceedings of the IEEE International
Conference on Multimedia Computing and Systems, May 1994. 

<LI> Clifford W. Mercer and Ragunathan Rajkumar
<!WA24><a
href="http://www.cs.cmu.edu/afs/cs/project/rtmach/public/papers/rtas95.ps">An
Interactive Interface and RT-Mach Support for Monitoring and
Controlling Resource Management</A>, In Proceedings of the Real-Time
Technology and Applications Symposium, May 1995. 

<LI> L. Molesky, K. Ramamritham, C. Shen, J. Stankovic, and G. Zlokapa,
<!WA25><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/impl_spring_kernel.ps">
Implementing a Predictable Real-Time Multiprocessor Kernel - The Spring
Kernel, extended abstract,</a>
<em>IEEE Workshop on Real-Time Operating Systems and
Software</em>, May 1990

</UL>

<P><LI><B>Communication and Networks</B>:
<UL>
<li> D. Kandlur, K. G. Shin, and D. Ferrari,
<!WA26><a href="ftp://rtcl.eecs.umich.edu/outgoing/dpk/rtc.ps.Z">
"Real-time communication in multi-hop networks,"</a>
IEEE Trans. on Parallel and Distributed Systems,
October 1994, pp. 1044-1056.

<li> C. Chou and K. G. Shin,
<!WA27><a href="ftp://rtcl.eecs.umich.edu/outgoing/ccchou/route94.ps.Z">
"A distributed route-selection scheme for establishing real-time 
channels,"</a> Internal Report, 1994 (in submission). 

<li>
<!WA28><a href="http://Dcpu1.cs.york.ac.uk:6666/real-time/papers/RTS_TB_Comms.html">Analysis of Hard Real-Time Communications</a>, K.
Tindell, A. Burns, A. J. Wellings, <i>Real-Time Systems</i>, Vol. 9, No. 2,
September 1995, Kluwer Academic Publishers. 

<LI>Azer Bestavros, 
     <!WA29><A href = "http://cs-pub.bu.edu/faculty/best/res/papers/nmc94-book.ps">
     "An Adaptive Information Dispersal Algorithm for Time-critical
     Reliable Communication"</A> in <EM> Network Management 
     and Control, Volume II, I. Frisch, M. Malek, and S. Panwar
     editors.</EM> Plenum Publishing Corporation, NY, February 1994.
</UL>

<P><LI><B>Databases</B>: 
<UL> 
<LI>Azer Bestavros, 
     <!WA30><A href="http://cs-pub.bu.edu/techreports/96-003-rtdbs-sigmod-record/Home.html">
     "Advances in Real-Time Database Systems Research"</A>
     <EM>Special Section on RTDBS of ACM SIGMOD Record 25(1), March 1996.</EM>

<li>  O. Ulusoy, <!WA31><A HREF=
"ftp://ftp.cs.bilkent.edu.tr/pub/tech-reports/1994/BU-CEIS-9432.ps.z"> Research Issues in Real-Time Database Systems, </A>
Information Sciences, vol.87, no.1-3, November 1995.

<li>Y. Kim and S. H. Son, "<!WA32><A
HREF="http://uvacs.cs.virginia.edu/~vadb/publications/chapter.ps">Predictability
and Consistency in Real-Time Database Systems</A>."  <i>Advances in
Real-Time Systems</i>, S. H. Son (ed.), Prentice Hall, pp 509-531,
1995.

<LI> Azer Bestavros and Spyridon Braoudakis, 
     <!WA33><A href = "http://cs-pub.bu.edu/faculty/best/res/papers/vldb95.ps"> 
     "Value-cognizant speculative concurrency control"</A> in <EM>
     Proceedings of VLDB'95: The International Conference on Very 
     Large Databases, Zurich, Switzerland.</EM> Spetember 1995.

<LI> J. Huang, J. Stankovic, K. Ramamritham, D. Towsley, and B. Purimetla,
On Using Priority Inheritance in Real-Time Databases, Special
Issue of <em>Real-Time Systems Journal</em>, Vol. 4. No. 3, September
1992.

<LI> Zhou, L, Rundensteiner, E. A., Shin, K. G., <!WA34><A
HREF="ftp://ftp.eecs.umich.edu/people/rundenst/papers/r-95-4.ps">
"OODB Support for Real-Time Open-Architecture Controllers,"</A>
Proceedings of the Fourth <I> International Conference on Database
Systems for Advanced Applications (DASFAA'95)</I>, Singapore, April
1995, pages 206-213.

<li> O. Ulusoy and G. G. Belford, <!WA35><A HREF=
"ftp://ftp.cs.bilkent.edu.tr/pub/tech-reports/1994/BU-CEIS-9412.ps.z">
Real-Time Transaction Scheduling in Database Systems,</A> Information
Systems, vol.18, no.8, December 1993.

</UL>

<P><LI><B>Fault-Tolerance</B>:
<UL>
<LI> F. Wang, K. Ramamritham, and J. Stankovic,
<!WA36><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/redundancy_ft.ps">
Determining Redundancy Levels for Fault Tolerant Real-Time Systems</a>,
Special Issue of
<em>IEEE Transactions on Computers</em> on Fault Tolerant Computing,
Vol. 44, No. 2, February 1995.
</UL>

<P><LI><B>Resource Management</B>:
<UL>
<LI> M. Spuri and J. Stankovic,
<!WA37><a href="ftp://ftp.cs.umass.edu/pub/ccs/spring/integrate_rts.ps">
How to Integrate Precedence Constraints and Shared Resources in
Real-Time Scheduling</a>,
<em>IEEE Transactions on Computers</em>, Vol. 43, No. 12, pp. 1407-1412, 
December 1994.
</UL>

<P><LI><B>Architecture</B>:
<UL>
<LI> <!WA38><A HREF="ftp://ftp.cs.fsu.edu/pub/whalley/papers/rtss95.ps.Z">
"Integrating the Timing Analysis of Pipelining and Instruction Caching"</A>
by C. A. Healy, D. B. Whalley, and M. G. Harmon in
the Proceedings of the IEEE Real-Time Systems Symposium, to appear
December 1995.
</UL>

<P><LI><B>Miscellaneous Papers</B>:
<UL>
<LI>
  M.&nbsp;Shankar, M.&nbsp;Storch, J.&nbsp;Sun, L.-C. Wu, and J.&nbsp;W.-S. Liu.
<!WA39><A HREF="http://pertsserver.cs.uiuc.edu/papers/TiDSSSWL95.ps">Probabilistic performance guarantee for real-time tasks with varying
  computation times.</A>
In <EM>Proceedings, Real-Time Technology and Applications Symposium</EM>, pages
  164-173, Chicago, Illinois, May 1995. IEEE.

<LI> <!WA40><a HREF="http://cs-pub.bu.edu/users/musliner/papers/tsmc.ps"> 
D. Musliner et al., CIRCA:  A Cooperative Intelligent Real-Time
Control Architecture</a>, 
<i>IEEE Transactions on Systems, Man, and Cybernetics</i>, Vol. 23 #6, 1993.
</UL>
</UL>
<P>
<HR> 

<PRE>
Created on: <EM>January  9, 1996</EM>
Updated on: <EM>January 11, 1996</EM>
Maintainer: <!WA41><A href="http://cs-pub.bu.edu/faculty/best/Home.html">Azer Bestavros</A>
</PRE>

